perm filename APPROX[W90,JMC] blob sn#883368 filedate 1990-03-27 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%approx[w90,jmc]		Approximate theories
C00003 ENDMK
CāŠ—;
%approx[w90,jmc]		Approximate theories


Sufficient conditions for usefulness of approximation

knowledge as true belief
de re = de dicto
situation calculus
tense logic